\documentclass[]{article}
\usepackage{amsmath,tkz-linknodes}
\usepackage{tikz}

%\usepackage[graphics,tightpage,active]{preview}
%\PreviewEnvironment{NodesList}
\newlength{\imagewidth}
\newlength{\imagescale}

\input{common}

\begin{document}
\thispagestyle{empty}
        \begin{NodesList}[margin=2.5cm] 
\begin{align*}
 \alpha [\phi] [\neg \psi] & = \alpha [\phi] \sqcap \sim{\alpha [\phi] [\psi]} \AddNode \\
  & = \alpha [\phi] \sqcap \sim{\alpha [\phi \sqcap \psi]} 
\AddNode \\
  & = \alpha [\phi] \sqcap \sim{\alpha [\phi] \sqcap \alpha [\psi]}
  \AddNode \\
  & = \alpha [\phi] \sqcap ( \sim{\alpha [\phi]} \sqcup \sim{\alpha [\psi]}) \AddNode\\
 & = (\alpha [\phi] \sqcap \sim{\alpha [\phi]}) \sqcup (\alpha [\phi] \sqcap \sim{\alpha [\psi]}) \AddNode\\
  & = \mathbf{0} \sqcup (\alpha [\phi] \sqcap \sim{\alpha
    [\psi]}) \AddNode\\
  & = \alpha [\phi] \sqcap \sim{\alpha [\psi]} \AddNode \\
  & = (\alpha \sqcap \alpha [\phi]) \sqcap \sim{\alpha [\psi]} \AddNode\\
  & = \alpha [\phi] \sqcap (\alpha \sqcap \sim{\alpha [\psi]})
  \AddNode \\
  & = \alpha [\phi] \sqcap \alpha [\neg \psi] \AddNode \\
  & = \alpha [\phi \wedge \neg \psi] \AddNode
\end{align*}
 
 \tikzset{LabelStyle/.append style = {\myside}
            ,ArrowStyle/.append style = {draw=\mydraw}
           }

\LinkNodes{Inductive Step}
\LinkNodes{Definition}
\LinkNodes{DeMorgan's}
\LinkNodes{Distributivity}
\LinkNodes{Boolean algebra}
\LinkNodes{Boolean algebra}
\LinkNodes{General reflection}
\LinkNodes{Boolean algebra}
\LinkNodes{Definition}
\LinkNodes{Definition}%
   \end{NodesList}
\end{document}
